1. Agile Modellierung mit UML
پدیدآورنده : / Bernhard Rumpe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Behavioral Specifications of Businesses and Systems
پدیدآورنده : edited by Haim Kilov, Bernhard Rumpe, Ian Simmonds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science).,Management information systems.,Software engineering.
3. Engineering modeling languages :
پدیدآورنده : Benoit Combemale, University of Rennes I, France, Robert B. France, Colorado State University, USA, Jean-Marc Jézéquel, University of Rennes I, France, Bernhard Rumpe, RWTH Aachen University and Fraunhofer FIT, Germany, James Steel, AEHRC, CSIRO, Australia, Didier Vojtisek, Inria, France.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software -- Development.,Engineering -- Data processing.,Modeling languages (Computer science)
رده :
TA343
.
B466
9999
4. Foundations of Computer Softwar
پدیدآورنده : [electronic resource]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic books
5. Modellierung mit UML
پدیدآورنده : / Bernhard Rumpe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
6. Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
پدیدآورنده : Manfred Broy, Bernhard Rumpe, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1526
7. Software Engineering and Formal Methods
پدیدآورنده : \ Radu Calinescu , Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی ن‍رم اف‍زار ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
8. Software Engineering and Formal Methods
پدیدآورنده : \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
9. Software Engineering and Formal Methods
پدیدآورنده : / Radu Calinescu, Bernhard Rumpe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
10. The UML profile for framework architectures
پدیدآورنده : / Marcus Fontoura, Wolfgang Pree, and Bernhard Rumpe
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer architecture,UML (Computer science)
رده :
QA76
.
9
.
A73
,.
F65
2001
11. The UML profile for framework architectures
پدیدآورنده : / Marcus Fontoura, Wolfgang Pree, and Bernhard Rumpe
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer architecture,UML (Computer science)
رده :
QA76
.
9
.
A73
,.
F65
2001
12. The unified modeling language : UML'99 : beyond the standard : Second International Workshop, Fort Collins, Co, October 28-30, 1999 : proceedings
پدیدآورنده : Robert France, Bernhard Rumpe )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
1723
13. Time Systems-Based Engineering of Embedded Real-Model
پدیدآورنده : / tzعHolger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Sch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
14. Trusted Cloud Computing
پدیدآورنده : / Helmut Krcmar, Ralf Reussner, Bernhard Rumpe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
